InPhO: A System for Collaboratively Populating and ∗ Extending a Dynamic Ontology Mathias Niepert, Cameron Buckner, Jaimie Murdock and Colin Allen Indiana University Bloomington, Indiana, USA

Source URL: www.jamram.net

• Ontology
• Semantic Web
• Information science
• Computing
• Technical communication
• Information
• Knowledge representation
• Formal ontology
• Web Ontology Language
• Indiana Philosophy Ontology Project
• Cyc
• Upper ontology

DEPARTMENT OF COMPUTER SCIENCE A Programming Language Where the Syntax and Semantics Are Mutable at Runtime Christopher Graham Seaton

Source URL: chrisseaton.com

• Software
• Computing
• Parsing algorithms
• Compiler construction
• Formal languages
• Parser generators
• Parsing
• Compiler-compiler
• Syntax
• Programming language
• Compiler
• Yacc

1 Capacity and Expressiveness of Genomic Tandem Duplication Siddharth Jain Electrical Engineering

Source URL: paradise.caltech.edu

• Formal languages
• Combinatorics
• Combinatorics on words
• Mathematics
• Discrete mathematics
• Finite automata
• String
• Alphabet
• Regular expression
• Regular language
• Tandem Computers

Katahdin A Programming Language Where the Syntax and Semantics Are Mutable at Runtime Chris Seaton Traditional Development Tools

Source URL: chrisseaton.com

• Software engineering
• Computing
• Computer programming
• Compiler construction
• Formal languages
• Procedural programming languages
• Programming language implementation
• Parsing algorithms
• Compiler-compiler
• Parsing
• Compiler
• Syntax

Formal Verification of Language-Based Concurrent Noninterference Andrei Popescu Technische Universit¨at M¨ unchen and Institute of Mathematics Simion Stoilow of the Romanian Academy

Source URL: www.eis.mdx.ac.uk

Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp

Source URL: ect.bell-labs.com

• Theoretical computer science
• Logic in computer science
• Software engineering
• Formal methods
• Programming language semantics
• Models of computation
• Operational semantics
• Semantics
• Bisimulation
• Process calculus
• Programming language
• Transition system

In Language in the Humanities courses, students will build on their language experiences in earlier writing and speech courses to exercise their formal language abilities in the context of the humanities, including liter

Source URL: gened.illinoisstate.edu

On properties of logical sentences with arbitrary monadic predicates 1 Nathana¨el Fijalkow and Charles Paperman LIAFA Universit´ e Paris Diderot

Source URL: highlights-conference.org

• Formal languages
• FO
• Finite model theory
• Regular language
• Second-order logic
• Mathematical logic
• Linear temporal logic

PDF Document

Source URL: www.math.stevens.edu

• Finite automata
• Formal languages
• Regular language
• Tree
• Theoretical computer science
• Mathematics
• Finite-state transducer
• Discrete mathematics
• Orbifold

PDF Document

Source URL: www.kestrel.edu

• Formal methods
• Specification language
• Refinement
• Abstract state machines
• Specification
• Object Process Methodology
• Domain-specific language
• Programming language
• Integrated circuit design
• Formal specification
• Isabelle
• Program derivation